Verifying one hundred prisoners and a lightbulb

Verifying one hundred prisoners and a lightbulb

This is a case-study in knowledge representation and dynamic epistemic protocol verification. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of pr...

One Hundred Prisoners and a Lightbulb - Logic and Computation

This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its...

One hundred meters.

To walk 100 meters at 4 kilometers per hour (an average walking pace) takes about 1.5 minutes. What would prevent an oncologist investing this brief time in visiting a patient in the next building? It is not that oncologists as a group are uncaring. I can think of too many examples where the opposite is true. Was he too busy? Was he burned out? Did he feel guilty at having failed to control the...

One hundred years.

One of my earliest memories is of a tall, thin clergyman who arrived late for a meeting as I stood outside the Lodge room as an Entered Apprentice whilst the ceremony of a higher degree was in progress. He was the treasurer of the Lodge and his name was the Reverend Prebendary Charles Waton. He was the Vicar of St Benet Fink, Edmonton and was a Grand Officer. To me, he was a very important maso...

One Hundred Popular Fallacies